<!DOCTYPE html>
<!--
     SPDX-License-Identifier: CC-BY-SA-4.0
     SPDX-FileCopyrightText: 2020 seL4 Project a Series of LF Projects, LLC.
-->
<!-- Page last generated 2025-02-20 03:16:15 +0000 -->
<html lang="en">
  <head>
    <meta charset="utf-8">
    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">
    <title>Projects | seL4 docs</title>

    <!-- Our stylesheet and theme stylesheet.  Contains bootstrap. -->
    <link rel="stylesheet" href="/assets/css/style.css" type="text/css">
    <!-- Font awesome -->
    <link href="https://use.fontawesome.com/releases/v5.0.8/css/all.css" rel="stylesheet">
    <link href="https://fonts.googleapis.com/css2?family=Roboto&display=swap" rel="stylesheet">
    <!-- Pygments syntax highlighting  -->
    <link rel="stylesheet" href="/assets/css/highlighting/trac.css" type="text/css">
    <link rel="icon" type="image/x-icon" href="/assets/favicon.ico"><script defer data-domain="docs.sel4.systems"
	    src="https://analytics.sel4.systems/js/script.js"></script></head>

  <body class="container-fluid">

    



<header>
  <ul class="row menu">
    <li class="col-xs-12 col-md-2" >
            <a href="https://sel4.systems" class="skip-icon">
              <img class="img-responsive" src="/assets/logo-text-white.svg" alt="seL4 logo" />
            </a>
    </li>
    <li class="col-xs-12 col-md-10 menu">
      <nav aria-label="Banner links">
        <h2><a href="/Resources" />Resources</h2>
        <h2><a href="/processes" />Contributing</a></h2>
        <h2><a href="/projects" />Projects</h2>
        <h2><a href="/Tutorials" />Tutorials</h2>
        <iframe title="DuckDuckGo search bar" src="https://duckduckgo.com/search.html?site=docs.sel4.systems&prefill=Search%20sel4.systems" style="overflow:hidden;margin-bottom:10px; padding:0;height:40px;float:right;border-width: 0px"></iframe>
      </nav>
    </li>
  </ul>
  <div class="clear"></div>
  
<div class="breadcrumbs bootstrap hidden-sm-down">
  <nav class="sel-breadcrumb" aria-label="Breadcrumb" >
    <ol class=" list-unstyled" vocab="http://schema.org/" typeof="BreadcrumbList">
      
      
        

        

        <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <a property="item" typeof="WebPage" href="/">
              <span property="name"><b>seL4 Docs</b></span>
            </a>
            <meta property="position" content="1" />
        </li>
      
        

        
          <li class="breadcrumb-item" property="itemListElement" typeof="ListItem">
            <span property="name">Projects</span>
            <meta property="position" content="2" /></li>
          
    </ol>
  </nav>
  <nav class="sel-version" aria-label="Current Versions">
    <ol class="list-unstyled">
      <li class="list-unstyled text-right" style="margin-left:auto; padding:0rem 0rem;">
        Current versions:</li>
      <li class="list-unstyled text-right">
      <a href="/releases/sel4/13.0.0"><b>seL4-13.0.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/microkit/1.4.1"><b>microkit-1.4.1</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/camkes/camkes-3.11.0"><b>camkes-3.11.0</b></a></li>
      <li class="list-unstyled text-right">
      <a href="/releases/capdl/0.3.0"><b>capDL-0.3.0</b></a></li>
      </ol>
  </nav>
  <div class='clear'></div>
</div>


</header>

    <main>
      <div class="row">
  <div class="hidden-xs col-sm-4 col-md-3 col-lg-2">
    


<div class="sidebar">















    <ul class="nav nav-sidebar">
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4/">seL4</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/l4v/">L4.verified</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/camkes/">CAmkES</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/capdl/">CapDL</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/elfloader/">Elfloader</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/buildsystem/">seL4 Buildsystem</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/user_libs/">user_libs</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4runtime/">The seL4 run-time</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4webserver/">seL4webserver</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4-tutorials/">seL4 tutorials</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4bench/">sel4bench</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4test/">seL4Test</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/virtualization/">Virtualization</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/camkes-vm/">camkes-vm</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/dockerfiles/">Dockerfiles</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/docsite/">seL4 Documentation website</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/sel4_tools/">seL4_tools</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/microkit/">Microkit</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/hardware_hacks/">Hardware Hacks</a>
        </li>
  
    
    

    
        <li class="">
            <a class="" href="/projects/rust/">Rust</a>
        </li>
  
    </ul>


</div>

  </div>
  <div class="col-sm-8 col-md-9 col-lg-8 main">
    
    <div class="content">
      <!--
 You can overwrite the description of each project by adding a 'description'
 field to each project. E.g.
 




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/sel4/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  a sample description

      <br/>
      <a href="sel4" class="">See more information.</a>
    </p>
  </div>

</div>

 --!>

<h1>Projects</h1>

 These are the main top-level overarching projects around the seL4 microkernel.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/sel4/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  The seL4 microkernel.

      <br/>
      <a href="sel4" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">L4.verified</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  seL4 specification and proofs.

      <br/>
      <a href="l4v" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">CAmkES</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/camkes/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Component Architecture for microkernel-based Embedded Systems.

      <br/>
      <a href="camkes" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
    




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">Microkit</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  A simple operating system framework for developing systems on top of seL4.

      <br/>
      <a href="microkit" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>

<h2> Tutorials and Examples </h2>

 These are tutorials and example systems that are designed to help people get a
 basic understanding of seL4, it's programming and development models, and how
 a seL4-based system would look like.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4 tutorials</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Collection of tutorials for learning to use seL4 and its ecosystem.

      <br/>
      <a href="sel4-tutorials" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4webserver</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  A reference for implementing applications on seL4.

      <br/>
      <a href="sel4webserver" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>

<h2> Tests, benchmarks and documentation </h2>

 These are a collection of projects, and tools that will help you test or
 benchmark seL4-based applications or modifications to the kernel. The
 documentation serves as a reference point to questions that one may have with
 seL4 or its ecosystem.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4Test</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/sel4test/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Test suite for seL4.

      <br/>
      <a href="sel4test" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">sel4bench</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/sel4bench/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  sel4bench contains benchmarking applications and a support library for seL4.

      <br/>
      <a href="sel4bench" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4 Documentation website</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  For cooperatively developing and sharing documentation on seL4.

      <br/>
      <a href="docsite" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>

 </div>

<h2>User level development</h2>

 These are a collection of projects which build on top the seL4 kernel and
 includes a number of tools and libraries which aims to make user level
 development easier.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">user_libs</h3>
      </div>
      <div class="col-xs-6 text-right">

        <a href="/projects/user_libs/status">
          <h3 class="panel-title">Status</h3>
        </a>

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Userlevel libraries on seL4.

      <br/>
      <a href="user_libs" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">The seL4 run-time</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  A minimal runtime for running a C or C-compatible process in a minimal seL4 environment.

      <br/>
      <a href="sel4runtime" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">CapDL</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Collection of tools for generating, parsing and loading capdl specifications of systems.

      <br/>
      <a href="capdl" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>


<h2>Virtualization</h2>

 These are a collection of projects which contains tools and libraries that
 make it possible to create virtual machines on top of a seL4 kernel. The
 projects also contain example virtual machine applications that can be run on
 QEMU and a few specific platforms.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">Virtualization</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  seL4 hardware virtualization support.

      <br/>
      <a href="virtualization" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">camkes-vm</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  x86 or Arm Virtual Machine build as a CAmkES component.

      <br/>
      <a href="camkes-vm" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>

<h2>Tooling</h2>

 These are projects that contains tools that are designed to aid the developer
 during the development process.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4 Buildsystem</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  System configuration and building using mostly CMake.

      <br/>
      <a href="buildsystem" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">Dockerfiles</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

      <br/>
      <a href="dockerfiles" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">seL4_tools</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Provides tools used to build seL4 projects.

      <br/>
      <a href="sel4_tools" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>

<h2>Boot process</h2>

 These are projects that are related to the booting of the seL4 kernel on
 hardware and simulators.

 <div class="flex-grid">
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">Elfloader</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  For preparing the hardware for seL4 on ARM and RISC-V.

      <br/>
      <a href="elfloader" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
  <div class="col">
  	




<div class="panel panel-default" style="height: 100%;">
  <div class="panel-heading">
    <div class="row" >
      <div class="col-xs-6 ">
        <h3 class="panel-title">Hardware Hacks</h3>
      </div>
      <div class="col-xs-6 text-right">

      </div>
    </div>
  </div>
  <div class="panel-body">
    <p>

  Various bits and pieces to enable easier use of our hardware.

      <br/>
      <a href="hardware_hacks" class="">See more information.</a>
    </p>
  </div>

</div>

  </div>
 </div>

    </div>
  </div>
</div>

    </main>
    


<footer class="site-footer">

  <h2 class="footer-heading">seL4 docs</h2>

  <div class="footer-col-wrapper">

    <div class="col-md-2">
      



<ul class="social-media-list">
  <li><a href="https://github.com/sel4"><i class="fab fa-github"></i> <span class="username">sel4</span></a></li><li><a href="https://github.com/sel4proj"><i class="fab fa-github"></i> <span class="username">sel4proj</span></a></li>
</ul>

    </div>

    <div class="col-md-8">
      <ul class="list-unstyled">
        <li>
          This site is for displaying seL4 related documentation.  Pull requests are welcome.
        </li>
        
          <li>
            Site last updated: Fri Feb 7 10:17:38 2025 +1100 ee78c8857c
          </li>
          <li>
          </li>
        
      </ul>
    </div>
    <div class="col-md-2">
<a href="https://github.com/seL4/docs/blob/master/projects/index.html">View page on GitHub</a>
      <br />
      <a href="https://github.com/seL4/docs/edit/master/projects/index.html">Edit page on GitHub</a>
      <br />
      <a href="/sitemap">Sitemap</a>
    </div>

  </div>

</footer>

  </body>
</html>
